What is a logic , and what is a proof ? Lutz
نویسنده
چکیده
I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I propose to simply use the notion of preorder equivalence. This might be considered to be folklore, but is exactly what is needed from the viewpoint of the problem of the identity of proofs: If the proofs are considered to be part of the logic, then preorder equivalence becomes equivalence of categories, whose arrows are the proofs. For identifying these, the concept of proof nets is discussed.
منابع مشابه
What is the Problem with Proof Nets for Classical Logic ? Lutz
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatisfactory.
متن کاملWhat is a logic, and what is a proof ?
I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I propose to simply use the notion of preorder equivalence. This might be considered to be folklore, but is exactly what is needed from the viewpoint of the problem of the identity of proofs: If the proofs are considered to be part of the logic, then pr...
متن کاملUsing the Taxonomy and the Metrics: What to Study When and Why; Comment on “Metrics and Evaluation Tools for Patient Engagement in Healthcare Organization- and System-Level Decision-Making: A Systematic Review”
Dukhanin and colleagues’ taxonomy of metrics for patient engagement at the organizational and system levels has great potential for supporting more careful and useful evaluations of this ever-growing phenomenon. This commentary highlights the central importance to the taxonomy of metrics assessing the extent of meaningful participation in decision-making by patients, consumers and community mem...
متن کاملNeoliberalism 4.0: The Rise of Illiberal Capitalism; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Neoliberal logic and institutional lethargy may well explain part of the reason why governments pay little attention to how their economic and development policies negatively affect health outcomes associated with the global diffusion of unhealthy commodities. In calling attention to this the authors encourage health advocates to consider strategies other than just regu...
متن کاملتحلیلی بر شیوه های نگرش به معماری اسلامی
Researchers and experts have employed various approaches in dealing with Islamic Architecture. Architects, scholars, designers, mystics and philosophers have interpreted this phenomenon in their particular ways over time. Some merely have considered historical descriptive methods as an outward expression. Sometimes these descriptions and analysis aim at definition of spaces and architectural el...
متن کامل